International Colloquium on Automata - PDFSEARCH.IO - Document Search Engine

International Colloquium on Automata
Results: 71

#	Item
21	Welcome Frances Rosamond, Editor Welcome to the Parameterized Complexity Newsletter. We are delighted to announce the IPEC 2010 winners of the Excellent Student Paper Awards. The meeting was expertly organized in Chennai Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2012-09-17 05:22:16 NP-complete problems Analysis of algorithms Parameterized complexity Kernelization Complexity classes Tree decomposition Dominating set International Colloquium on Automata Languages and Programming Vertex cover Theoretical computer science Computational complexity theory Applied mathematics
22	T P A 2010 L  M B The Presburger Award Committee, consisting of Stefano Leonardi, Andrzej Tarlecki, and Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Applied mathematics Formal languages International Colloquium on Automata Languages and Programming Presburger Award Symposium on Theoretical Aspects of Computer Science Alphabet European Association for Theoretical Computer Science Symposium on Theory of Computing Theoretical computer science Computer science Automata theory
23	Curriculum Vitæ (abridged) Luke Mathieson BSc BCompSc(Hons1) PGDipHEd MHEd PhD(Dunelm) Personal Details Add to Reading List Source URL: comp.mq.edu.au Language: English - Date: 2013-12-01 23:03:08 Parameterized complexity International Colloquium on Automata Languages and Programming Algorithm Symposium on Theoretical Aspects of Computer Science Michael Fellows Theoretical computer science Applied mathematics Computational complexity theory
24	Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:34 Theoretical computer science Object-oriented programming Programming language theory Polymorphism Subtype polymorphism International Colloquium on Automata Languages and Programming Type system E Type theory Data types Software engineering
25	Curriculum Vitae Susanne Albers Department of Computer Science Technische Universit¨at M¨unchen BoltzmannstrGarching, Germany Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2014-08-14 12:36:50 Susanne Albers Symposium on Theoretical Aspects of Computer Science Michael Mitzenmacher International Colloquium on Automata Languages and Programming European Symposium on Algorithms Kurt Mehlhorn Integer sorting SWAT and WADS conferences Lecture Notes in Computer Science Theoretical computer science Computer science Applied mathematics
26	Yuval Filmus Curriculum Vitæ Í 117 Oppenheimer Ln Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-31 15:18:39 Fellows of the Royal Society International Colloquium on Automata Languages and Programming Automated theorem proving Toniann Pitassi Daniel Filmus Symposium on Foundations of Computer Science Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Combinatorics Theoretical computer science Applied mathematics Computational complexity theory
27	Uriel Feige, Publications, JanuaryPapers are sorted by categories. For papers that have more than one version (typically, journal version and conference proceedings), the diﬀerent versions are combined into one Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-02 09:14:39 Uriel Feige NP-complete problems Computational complexity theory Adi Shamir Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Approximation algorithm Uriel Theoretical computer science Applied mathematics Mathematics
28	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
29	Alexandr Andoni http://www.mit.edu/~andoni Email: Phone: Experience Add to Reading List Source URL: www.mit.edu Language: English - Date: 2015-02-05 02:44:09 Year of birth missing Symposium on Foundations of Computer Science Symposium on Theory of Computing Piotr Indyk International Colloquium on Automata Languages and Programming Streaming algorithm Ravi Kannan Nearest neighbor search ACM SIGACT Theoretical computer science Applied mathematics Mathematics
30	Curriculum Vitae of Uriel Feige Contact Information Department of Computer Science and Applied Mathematics The Weizmann Institute of Science Rehovot 76100, ISRAEL Phones (office), (cell) Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-01 11:38:31 Computational complexity theory Complexity classes Approximation algorithm NP-complete ACM SIGACT European Symposium on Algorithms International Colloquium on Automata Languages and Programming Uriel Feige Algorithm Theoretical computer science Applied mathematics Computer science